f :: Either Int Double -> String